针对细微特征进行K-means聚类的电台分选识别技术

现代战场中的无线通信设备日益增多，精准获取个体信息已成为研究热点，但也是难点。针对通信电台，提出了一种分选识别技术。该技术从电台物理层特性出发，对其辐射信号的细微特征进行K-means聚类以实现分选，分选的同时提取各个个体的特征属性值，未知信号通过与特征属性值相关运算实现个体识别。该技术无需先验知识，无需训练运算，通过实验验证，其可行、高效，易于工程实现。     

区域控制器的安全需求建模与自动验证

轨道交通区域控制器（ZC）是我国轨道交通信号系统选型的主流制式——基于通信的列车控制系统（CBTC）的核心子系统，其突出的安全性使得安全需求的形式化验证成为一个非常重要的问题.但是ZC自身的复杂性以及领域知识的繁杂难以掌握，使得形式化方法很难应用到安全需求的验证中去.针对这些问题，提出一种安全需求的自动验证方法，使用半形式化的问题框架方法（PF）来建模和分解安全需求，根据需求模型自动生成安全需求的验证模型和验证性质，在此基础上自动生成验证模型的Scade语言实现，并通过Design Verifier验证器对需求进行组合验证.最后，使用了某个实际案例ZC的一个子问题CAL_EOA进行了研究，实验结果证明了该方法的可行性与有效性，它能自动地将安全需求模型进行组合验证，改善了验证的效率.     

Thermodynamic modeling of gas solubility in aqueous sodium chloride solution

An electrolyte Equation of State is presented by combining the Cubic Plus Association Equation of State,Mean Spherical Approximation and the Born equation.This new model uses experimental relative static permittivity,intend to predict well the activity coefficients of individual ions (ACI) and liquid densities of aqueous solutions.This new model is applied to model water + NaCl binary system and water + gas +NaCl ternary systems.The cation/anion-water interaction parameters of are obtained by fitting the exper-imental data of ACI,mean ionic activity coefficients (MIAC) and liquid densities of water + NaCl binary system.The cation/anion-gas interaction parameters are obtained by fitting the experimental data of gas solubilities in aqueous NaCl solutions.The modeling results show that this new model can correlate well with the phase equilibrium and volumetric properties.Without gas,predictions for ACI,MIAC,and liquid densities present relative average deviations of 1.3％,3.6％ and 1.4％ compared to experimental ref-erence values.For most gas-containing systems,predictions for gas solubilities present relative average deviations lower than 7.0％.Further,the contributions of ACI,and salting effects of NaCl on gases are ana-lyzed and discussed.     

Using electroencephalogram to continuously discriminate feelings of personal thermal comfort between uncomfortably hot and comfortable environments

Thermal comfort is an important factor for the design of buildings. Although it has been well recognized that many physiological parameters are linked to the state of thermal comfort or discomfort of humans, how to use physiological signal to judge the state of thermal comfort has not been well studied. In this paper, the feasibility of continuously determining feelings of personal thermal comfort was discussed by using electroencephalogram (EEG) signals in private space. In the study, 22 subjects were exposed to thermally comfortable and uncomfortably hot environments, and their EEG signals were recorded. Spectral power features of the EEG signals were extracted, and an ensemble learning method using linear discriminant analysis or support vector machine as a sub-classifier was used to build the discriminant model. The results show that an average discriminate accuracy of 87.9% can be obtained within a detection window of 60 seconds. This study indicates that it is feasible to distinguish whether a person feels comfortable or too hot in their private space by multi-channel EEG signals without interruption and suggests possibility for further applications in neuroergonomics.     

Graduate Student Literature Review: Considerations for nutritional grouping in dairy farms

Each cow in a group has different nutritional requirements even if the group is formed by cows of similar age, number of lactations, and lactation stage. Common dairy farm management setup does not support formulating a diet that accurately matches individual nutritional requirements for each cow; therefore, a proportion of cows in the group will be overfed and another proportion underfed. Overfeeding and underfeeding cows increases the risk of metabolic diseases, decreases milk production, and increases nutrient waste. Consequently, profitability of dairy farms and the environment are negatively affected. Nutritional grouping is a management strategy that aims to allocate lactating cows homogeneously according to their nutritional requirements. Groups of cows with more uniform nutritional requirements facilitates the formulation of more accurate diets for the group. Current availability of large data streams on dairy farms facilitates the design of algorithms to implement nutritional grouping. Our review summarizes important factors to consider when grouping cows, describes nutritional grouping approaches, and summarizes benefits of implementing nutritional grouping in dairy farms.     

我国非煤矿山安全生产发展历程与技术需求

对我国非煤矿山安全生产的发展历程与现状进行了综述与分析,论述了目前安全生产技术发展的思路。在此基础上,详细讨论了适应目前我国非煤矿山安全生产发展的技术需求。     

南梁厚土层浅埋单体长壁工作面矿压规律实测分析

在南梁煤矿首采工作面20105采前实验研究的基础上进行了现场观测，实测了活柱的下缩量、工作面顶板的移近量、顶板的来压强度以及巷道变形破坏参数，总结了厚土层覆盖层浅埋煤层单体长壁工作面的矿压显现规律．实验和观测表明，厚土层覆盖浅埋煤层工作面初次来压步距大，矿山压力显现剧烈，周期来压台阶下沉量大．针对目前顶板的支护状况和顶板灾变危险，提出了提高支柱初撑力等改善措施，为实现厚土层覆盖浅埋煤层单体长壁工作面安全开采提供了可靠依据．图7，参8．     

DW28-35单体液压支柱新型密封装置的研制

介绍了一种新型的密封装置,解决了单体液压支柱长期因密封结构不合理造成的密封失效等问题以及对单体液压支柱使用寿命的影响。     

鸡西矿业集团信息化网络系统组网方案

介绍了鸡西矿业集团信息化网络系统工程设计组网要求、原则、功能以及组网方式等。该组网方案为鸡西矿业集团信息化网络系统工程建设提供了强有力的依据。     

医院建筑设计探索

结合福建省立医院门诊大楼,福州市鹤龄医院病房大楼设计着重探讨:一、医院门诊使用功能与交通导向二、医院建筑空间与心理状态三、现代医院建筑的发展与设计构想